Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain

The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction, concept establishment, search, categorization, comparison, memorization, qualification, quantification, and selection. It is recognized that all higher layer cognitive processes of the brain rely on the metacognitive processes. Each of this set of fundamental cognitive processes is formally described by a mathematical model and a process model. Real-time process algebra (RTPA) is adopted as a denotational mathematical means for rigorous modeling and describing the metacognitive processes. All cognitive models and processes are explained on the basis of the object-attribute-relation (OAR) model for internal information and knowledge representation and manipulation.